st{-}atom(${\it tab}$;$n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of(2of(${\it tab}$))($n$))